An Integrated Formal Framework for Reasoning about Goal Interactions
نویسنده
چکیده
One of the defining characteristics of intelligent software agents is their ability to pursue goals in a flexible and reliable manner, and many modern agent platforms provide some form of goal construct. However, these platforms are surprisingly naive in their handling of interactions between goals. Most provide no support for detecting that two goals interact, which allows an agent to interfere with itself, for example by simultaneously pursuing conflicting goals. Previous work has provided representations and reasoning mechanisms to identify and react appropriately to various sorts of interactions. However, previous work has not provided a framework for reasoning about goal interactions that is generic, extensible, formally described, and that covers a range of interaction types. This paper provides such a framework.
منابع مشابه
A formal framework for reasoning about goal interactions
A defining characteristic of intelligent software agents is their ability to flexibly and reliably pursue goals, and many modern agent platforms provide some form of goal construct. However, these platforms are surprisingly naive in their handling of interactions between goals. Whilst previous work has provided mechanisms to identify and react appropriately to various sorts of interactions, it ...
متن کاملExtending the Equivalent Transformation Framework to Model Dynamic Interactive Systems
Conceptualizing, visualizing, analyzing, reasoning about and implementing Dynamic Interactive Systems (DISs) are difficult and error-prone activities. To conceptualize and reason about the sorts of properties expected of any DIS, a formal framework that most naturally facilitates conceptualization and modelling of DISs is essential. In this paper we propose and explain why extending the Equival...
متن کاملAn Integrated Framework for Analysing Changing Requirements Contents 1 Introduction 1 2 Overview of the Goal-based Framework for Requirements Anal- Ysis 2
The problem of analysing the eeects of changing requirements imposes strict demands on system representations, particularly in safety-critical domains. We argue that solving this problem will require structured representations that highlight the interaction between requirements, and record the rationale for decisions made during the development process. As a means of providing and analysing thi...
متن کاملOntology-based Representation and Reasoning on Process Models: A Logic Programming Approach
We propose a framework grounded in Logic Programming for representing and reasoning about business processes from both the procedural and ontological point of views. In particular, our goal is threefold: (1) define a logical language and a formal semantics for process models enriched with ontology-based annotations; (2) provide an effective inference mechanism that supports the combination of r...
متن کاملDialogues that account for different perspectives in collaborative argumentation
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the individual agents’ views of the world that they operate within may not always match. In this paper we provide a framework to allow different agents with different expertise to make individual contributions to an overall rea...
متن کامل